Program §IO
`comment doc`
§IO.@IsMain : @IO
